Symbiotic Integration of Human Activities in Cyber-Physical Systems

Scenarios for Cyber-physical Systems Integration in Construction

There is an increasing growth in the use of virtual models in the construction industry but this use is often limited to the design and tendering/bidding stage. Much more benefit can be derived from these models by extending their use to the construction and operations and maintenance phases of a facility’s lifecycle. A good way of achieving this involves real-time bi-directional coordination b...

The First Analytic Virtual Integration of Cyber - Physical Systems

In this paper, we propose a model-based design approach for developing wireless sensor-actuator networks that can map multiple sets of application-level interactions onto a single networking substrate while still enforcing individual requirements. We use a top-down design approach where the functional requirements for each application are graphically modeled using a tool called SysWeaver. Senso...

Thesis Proposal: Integration of Modeling Methods for Cyber-Physical Systems

Virtual Integration of Cyber-Physical Systems by Verification

In this position paper, we advocate the use of verification technology to tackle the virtual integration problem for cyber-physical systems. In particular, we advocate the use of high-level modeling languages that allow designers to declaratively specify what properties their architectural models should have, not how to achieve them. We further advocate the use of verification technology to ana...

Towards Integration of Modeling Methods for Cyber-Physical Systems

Safety-critical Cyber-Physical Systems (CPS) are growing increasingly more distributed, autonomous, and embedded in our society. CPS engineering relies on modeling methods from different fields. Such methods are difficult to combine due to their complexity and heterogeneity. Inconsistencies between models and analyses can lead to implicit design errors, which lead to critical CPS failures. Exis...